Approximate set union via approximate randomization
نویسندگان
چکیده
We develop a randomized approximation algorithm for the size of set union problem |A1∪A2∪...∪Am|, which is given list sets A1,...,Am with approximate mi Ai mi∈((1−βL)|Ai|, (1+βR)|Ai|), and biased random generators probability Prob(x=RandomElement(Ai))∈[1−αL|Ai|,1+αR|Ai|] each input element x∈Ai, where i=1,2,...,m αL,αR,βL,βR∈(0,1). The ratio |A1∪A2∪...∪Am| in range [(1−ϵ)(1−αL)(1−βL),(1+ϵ)(1+αR) (1+βR)] any ϵ∈(0,1). complexity measured by both time round complexity. One has non-adaptive accesses to those RandomElement(Ai) functions 1≤i≤m, membership queries (x∈Ai?) 1≤i≤m. Our gives an scheme O(m⋅(logm)7) running O(logm) rounds contrast existing [1] that needs Ω(m) worst case O((1+ϵ)m/ϵ2) time, m number sets. flexible tradeoff O(m1+ξ) O(1ξ) ξ∈(0,1). runs sublinear under certain condition A1∪A2∪...∪Am belongs ma fixed a>0, our best knowledge, we have not seen results about this problem. can handle generate elements bias, its depends on bias. prove it #P-hard count lattice points balls, also show there no polynomial intersection n-dimensional balls unless P=NP. As applications algorithm, propose algorithms counting high dimensional maximal coverage balls.
منابع مشابه
Approximate Set Union Via Approximate Randomization
We develop an randomized approximation algorithm for the size of set union problem |A1 ∪ A2 ∪ ... ∪ Am|, which given a list of sets A1, ..., Am with approximate set size mi for Ai with mi ∈ ((1− βL)|Ai|, (1 + βR)|Ai|), and biased random generators with Prob(x = RandomElement(Ai)) ∈ [ 1−αL |Ai| , 1+αR |Ai| ] for each input set Ai and element x ∈ Ai, where i = 1, 2, ..., m. The approximation rati...
متن کاملAISC: Approximate Instruction Set Computer
This paper makes the case for a single-ISA heterogeneous computing platform, AISC, where each compute engine (be it a core or an accelerator) supports a different subset of the very same ISA. An ISA subset may not be functionally complete, but the union of the (per compute engine) subsets renders a functionally complete platform-wide single ISA. Tailoring the microarchitecture of each compute e...
متن کاملApproximate Association via Dissociation
A vertex set X of a graph G is an association set if each component of G − X is a clique, or a dissociation set if each component of G − X is a single vertex or a single edge. Interestingly, G − X is then precisely a graph containing no induced P3’s or containing no P3’s, respectively. We observe some special structures and show that if none of them exists, then the minimum association set prob...
متن کاملAbstraction via Approximate Symmetry
ion via Approximate Symmetry Thomas Ellman Department of Computer Science Rutgers University New Brunswick, NJ 08903 [email protected] LCSR-TR-199 Abstract Abstraction techniques are important for solving constraint satisfaction problems with global constraints and low solution density. In the presence of global constraints, backtracking search is unable to prune partial solutions. It there...
متن کاملBackward Analysis via over-Approximate Abstraction and under-Approximate Subtraction
We propose a novel approach for computing weakest liberal safe preconditions of programs. The standard approaches, which call for either underapproximation of a greatest fixed point, or complementation of a least fixed point, are often difficult to apply successfully. Our approach relies on a different decomposition of the weakest precondition of loops. We exchange the greatest fixed point for ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2021
ISSN: ['1879-2294', '0304-3975']
DOI: https://doi.org/10.1016/j.tcs.2021.09.016